[July 30th, 2015] Preproceedings are available!
[July 8th, 2015] The symposium program is available!
[May 18th, 2015] EXTENDED DEADLINE and Second Call for Papers available!
[April 1st, 2015] First Call for Papers available!
[February 9th, 2015] Web site launched!
MoKMaSD 2015 aims at bringing together practitioners and researchers
from academia, industry and research institutions to present research
results and exchange experience, ideas, and solutions for modelling and
analysing complex systems and using knowledge management and discovery
methodologies in various domain areas such as social systems, ecology,
biology, medicine, smart cities, governance, education and social
software engineering.
Papers that present a synergistic approach that integrates modelling
and knowledge management/discovery or exploit knowledge management and
discovery to develop/syntesise system models are especially welcome.
Authors are invited to submit original research or tool papers on any
relevant topic. These can either be normal or short papers. Short
papers can discuss new ideas which are at an early stage of
development and which have not yet been thoroughly evaluated.
Topics of Interest
Methodologies and notations include:
Agent-based Methodologies
Automata-based Notations
Big Data Analytics
Cellular Automata
Conformance Analysis
Constraint Programming
Data Mining
Differential Equations
Empirical Modelling
Game Theory
Machine Learning
Membrane Systems
Network Theory and Analysis
Ontologies
Optimisation Modelling
Petri Nets
Process Calculi
Process Mining
Rewriting Systems
Spatio-temporal Data Analysis/Mining
System Dynamics
Text Mining
Application domains include:
Biology
Business Process Management
Climate Change
Ecology
Education
Environmental Risk Assessment and Management
Enterprise Architectures
Epidemiology
Genetics
Governance
Open Source Software Development and Communities
Pharmacology
Social Software Engineering
Social Systems
Sustainable Development
Urban Ecology and Smart Cities
Synergistic approaches include:
use of modelling methods and notations in a Knowledge Management context
development and use of common modelling and Knowledge Management frameworks to explore and understand complex systems from the application domains of interest
Tias Guns, Declarative Languages and Artificial Intelligence Lab., KU Leuven, Belgium
Title: Constraint modeling and solving for data mining
(See abstract)
Guido Sanguinetti, School of Informatics, University of Edinburgh, UK
Title: Machine learning methods for model checking in continuous time Markov chains
(See abstract)
Each paper will be reviewed by three Program Committee members.
Notification and reviews will be communicated via email through the
Easychair platform.
Publication
Accepted papers will be included in the Symposium programme and
will appear in the symposium pre-proceedings. Pre-proceedings will be
available online before the Symposium.
Revised versions of accepted papers will be published after the
Symposium by Springer in a volume of Lecture Notes in Computer Science (
http://www.springer.com/lncs
), which will collect contributions to some workshops and symposia
co-located with SEFM 2015. Condition for inclusion in the
post-proceedings is that at least one of the co-authors has presented
the paper at the Symposium.
A special issue of some international journal with selected papers is under consideration.
